ltrs.exe prime params "Exp3 LTRS input" "Exp3 LTRS output"